Condensation and Large Cardinals
نویسندگان
چکیده
We introduce two generalized condensation principles: Local Club Condensation and Stationary Condensation. We show that while Strong Condensation (a generalized Condensation principle introduced by Hugh Woodin in [19]) is inconsistent with an ω1-Erdős cardinal, Stationary Condensation and Local Club Condensation (which should be thought of as weakenings of Strong Condensation) are both consistent with ω-superstrong cardinals.
منابع مشابه
Local Club Condensation and L-Likeness
We present a forcing to obtain a localized version of Local Club Condensation, a generalized Condensation principle introduced by Sy Friedman and the first author in [3] and [5]. This forcing will have properties nicer than the forcings to obtain this localized version that could be derived from the forcings presented in either [3] or [5]. We also strongly simplify the related proofs provided i...
متن کاملVirtual Large Cardinals
We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0#. Given a large cardinal notion A characterized by the existence of elementary embeddings j : Vα → Vβ satisfying some list of properties, we say that a cardinal is virtually A if the embeddings j : V V α → V V β exist in the generic multiverse of...
متن کاملThe large cardinals between supercompact and almost-huge
I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j : V → M such that M is closed under sequences of length sup{ j(f)(κ) | f : κ→ κ }. Some of the other cardinals analyzed i...
متن کاملLarge cardinals and the Continuum Hypothesis
This is a survey paper which discusses the impact of large cardinals on provability of the Continuum Hypothesis (CH). It was Gödel who first suggested that perhaps “strong axioms of infinity” (large cardinals) could decide interesting set-theoretical statements independent over ZFC, such as CH. This hope proved largely unfounded for CH – one can show that virtually all large cardinals defined s...
متن کاملStrongly unfoldable cardinals made indestructible
Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...
متن کامل